|
|
Statická analýza možných hodnot proměnných v programech v C
Ďuričeková, Daniela ; Peringer, Petr (oponent) ; Vojnar, Tomáš (vedoucí práce)
Analýza rozsahu hodnot (anglicky value-range analysis) je metoda statické analýzy založená na zjišťování hodnot, kterých může daná proměnná nabývat v určitém místě v programu. Tato technika může být použita k dokázání, že se v programu nevyskytují chyby za běhu, jako například přístup za hranici pole. Jelikož analýza rozsahu hodnot získává informace o každém místě v programu, lze k její implementaci využít analýzu toku dat (anglicky data-flow analysis). Cílem této diplomové práce je návrh a implementace funkčního nástroje provádějícího analýzu rozsahu hodnot. Práce začíná úvodem do problematiky, vysvětlením analýz toku dat a hodnot proměnných a popisem abstraktní interpretace, která tvoří formální základ analyzátoru. Následuje seznámení s prostředím Code Listener, které bylo využito k implementaci analyzátoru. Jádro práce tvoří návrh, implementace a otestování analyzátoru. V závěru jsou shrnuty nabyté zkušenosti a diskutovány možnosti budoucího vývoje vytvořeného nástroje.
|
|
|
Dynamic Analysis for Finding Endianity Bugs
Kápl, Roman ; Parízek, Pavel (vedoucí práce) ; Yaghob, Jakub (oponent)
Když spolu komunikují dva počítačové systémy, například přes síť, musí se shodnout na pořádí bytů v číslech. Tomuto pořadí se říká endianita. Často pak musí jeden ze systémů prohodit pořadí bytů na předem dohodnutý standard. Výsledky této práce pomohou programátorům najít místa v jejich programech, kde na toto přehození pořadí zapomněli. Vyvinuli jsme dynamickou data-flow analýzu postavenou na populárním nástroji Valgrind. V porovnání se statcikou analýzou v současnosti používanou vývojáři Linuxového jádra náš přístup nevyžaduje označení proměnných jejich endianitou. Typicky je nutné označit jen několik míst ve zdrojovém kódu. Analýza je také schopná detekovat potenciální chyby, které by se projevily pouze pokud by program byl spuštěn na počítačích s opačnou endianitou. Náš přístup jsme ověřili na existujicím programu, o kterém se vědělo, že obsahuje zatím neopravné chyby související s endianitou (RadeonSI OpenGL driver). Identifikoval všechny chyby související s endianitou a poskytl užitečné diagnostické zprávy s označením původu chyby.
|
|
|
Statická analýza možných hodnot proměnných v programech v C
Ďuričeková, Daniela ; Peringer, Petr (oponent) ; Vojnar, Tomáš (vedoucí práce)
Analýza rozsahu hodnot (anglicky value-range analysis) je metoda statické analýzy založená na zjišťování hodnot, kterých může daná proměnná nabývat v určitém místě v programu. Tato technika může být použita k dokázání, že se v programu nevyskytují chyby za běhu, jako například přístup za hranici pole. Jelikož analýza rozsahu hodnot získává informace o každém místě v programu, lze k její implementaci využít analýzu toku dat (anglicky data-flow analysis). Cílem této diplomové práce je návrh a implementace funkčního nástroje provádějícího analýzu rozsahu hodnot. Práce začíná úvodem do problematiky, vysvětlením analýz toku dat a hodnot proměnných a popisem abstraktní interpretace, která tvoří formální základ analyzátoru. Následuje seznámení s prostředím Code Listener, které bylo využito k implementaci analyzátoru. Jádro práce tvoří návrh, implementace a otestování analyzátoru. V závěru jsou shrnuty nabyté zkušenosti a diskutovány možnosti budoucího vývoje vytvořeného nástroje.
|
host ::
RSS.